Search results for " AUT"

IL BENE DELLA DIGNITÀ UMANA IN SOCCORSO DELLA LEGGE MERLIN? : SULLA SENTENZA 141/2019 DELLA CORTE COSTITUZIONALE IN MATERIA DI FAVOREGGIAMENTO E RECL…

2019

Con la sentenza 141/2019 la Corte costituzionale ha dichiarato non fondata la questione di legittimità costituzionale dei reati di “reclutamento” e di “favoreggiamento” della prostituzione, proposta dalla Corte d’Appello di Bari. A partire dalla vicenda oggetto di giudizio, e dopo una preliminare indagine sui modelli di regolamentazione normativa della prostituzione volontaria e sui dubbi di legittimità costituzionale espressi dalla ordinanza di remissione, ci si sofferma su taluni aspetti critici della decisione. Nella prospettiva dell’Autore, la scelta di prostituirsi ha una inscindibile doppia natura (sessuale ed economica) e dunque una plurima copertura costituzionale; discutibili sono …

FO^2 with one transitive relation is decidable

2013

We show that the satisfiability problem for the two-variable first-order logic, FO^2, over transitive structures when only one relation is required to be transitive, is decidable. The result is optimal, as FO^2 over structures with two transitive relations, or with one transitive and one equivalence relation, are known to be undecidable, so in fact, our result completes the classification of FO^2-logics over transitive structures with respect to decidability. We show that the satisfiability problem is in 2-NExpTime. Decidability of the finite satisfiability problem remains open.

Abstracts from the CECAM workshop on computer simulations of cellular automata

1989

Removing the saturation assumption in Bank-Weiser error estimator analysis in dimension three

2020

International audience; We provide a new argument proving the reliability of the Bank-Weiser estimator for Lagrange piecewise linear finite elements in both dimension two and three. The extension to dimension three constitutes the main novelty of our study. In addition, we present a numerical comparison of the Bank-Weiser and residual estimators for a three-dimensional test case.

A Magnetohydrodynamic Auxiliary Propulsion system for docking assistance of autonomous vehicle

2016

In this article we present an approach to the description of Magnetohydrodynamic Auxiliary Propulsion system for docking assistance of autonomous vehicle. Preliminarily, an analytical model which includes an electromagnetic model and a thermal model is presented. Successively, in order to move beyond the analytical model, a 3-D MHD modeling tool and a Runge Kutta method based solver are presented and they are used to investigate an alternative MHD solutions. Some numerical analysis are given

Experimental and numerical investigation of laboratory crystal growth furnace for the development of model-based control of CZ process

2019

Abstract The presented study is focused on laboratory Czochralski crystal growth experiments and their mathematical modelling. The developed small-scale CZ crystal growth furnace is described as well as the involved automation systems: crystal radius detection by image recognition, temperature sensors, adjustable heater power and crystal pull rate. The CZ-Trans program is used to model the experimental results – transient, 2D axisymmetric simulation software primarily used for modelling of the industrial-scale silicon crystal growth process. Poor agreement with the experimental results is reached; however, the proven ability to perform affordable, small-scale experiments and successfully mo…

State-space formulation of scalar Preisach hysteresis model for rapid computation in time domain

2015

A state-space formulation of classical scalar Preisach model (CSPM) of hysteresis is proposed. The introduced state dynamics and memory interface allow to use the state equation, which is rapid in calculation, instead of the original Preisach equation. The main benefit of the proposed modeling approach is the reduced computational effort which requires only a single integration over the instantaneous line segment in the Preisach plane. Numerical evaluations of the computation time and model accuracy are provided in comparison to the CSPM which is taken as a reference model.

On asymmetric periodic solutions in relay feedback systems

2021

Abstract Asymmetric self-excited periodic motions or periodic solutions which are produced by relay feedback systems that have symmetric characteristics are studied in the paper. Two different mechanisms of producing an asymmetric oscillation by a system with symmetric properties are noted and analyzed by the locus of a perturbed relay system (LPRS) method. Bifurcation between the ability to excite symmetric and asymmetric oscillation with variation of system parameters is analyzed. An algorithm of finding asymmetric solutions is proposed.

A Novel Fault-Tolerant Routing Algorithm for Mesh-of-Tree Based Network-on-Chips

2019

Use of bus architecture based communication with increasing processing elements in System-on-Chip (SoC) leads to severe degradation of performance and speed of the system. This bottleneck is overcome with the introduction of Network-on-Chips (NoCs). NoCs assist in communication between cores on a single chip using router based packet switching technique. Due to miniaturization, NoCs like every Integrated circuit is prone to different kinds of faults which can be transient, intermittent or permanent. A fault in any one component of such a crucial network can degrade performance leaving other components non-usable. This paper presents a novel Fault-Tolerant routing Algorithm for Mesh-of-Tree …

Space‐vector state dynamic model of SynRM considering self‐ and cross‐saturation and related parameter identification

2020

This study proposes a state formulation of the space-vector dynamic model of the Synchronous Reluctance Motor (SynRM) considering both saturation and cross-saturation effects. The proposed model adopts the stator currents as state variables and has been theoretically developed in both the rotor and stator reference frames. The proposed magnetic model is based on a flux versus current approach and relies on the knowledge of 11 parameters. Starting from the definition of a suitable co-energy variation function, new flux versus current functions have been initially developed, based on the hyperbolic functions and, consequently, the static and dynamic inductance versus current functions have be…